Complete Combustion Control for a Steam Boiler Plant

A Steam - Boiler Control

Control System Simulator for Steam Boiler Parameters

Abstract: The paper presents the research results related to control of the steam boiler parameters: drum level, furnace pressure and steam pressure. It was developed the mathematical model of the water-steam system and furnace part of the boiler. Also, the paper presents the algorithm for real time detection of model parameter variations. In this context a correction method, validate through s...

Using HyTech to Synthesize Control Parameters for a Steam Boiler

We model a steam-boiler control system using hybrid automata. We provide two abstracted linear models of the nonlinear behavior of the boiler. For each model, we de ne and verify a controller that maintains the safe operation of the boiler. The less abstract model permits the design of a more e cient controller. We also demonstrate how the tool HyTech can be used to automatically synthesize con...

Simulation of a Steam-Boiler

In this paper, we describe the implementation and usage of a simulation with graphical visualization for a steam-boiler [Abri94]. The simulation imitates the behaviour of the steam-boiler and can be controlled using a simple ASCII protocol. It reacts to defined commands and sends information about its state every five seconds. Furthermore, we describe the options available, the protocol which f...

Creating A Validated Implementation Of The Steam Boiler Control

SPIN is a tool for the simulation and veri cation of protocols. PROMELA, its source language, is a formal description technique like SDL and Estelle that is based on communicating state machines. The tool and the language are in the public domain and therefore widely used. The "SteamBoiler Control Speci cation Problem" consists of an informal speci cation of a steam boiler system in a nuclear p...